constraint composition造句

Some operations on constraints produce a new constraint that is a consequence of them . "'Constraint composition "'operates on a pair of binary constraints ( ( x, y ), R ) and ( ( y, z ), S ) with a common variable.
It's difficult to find constraint composition in a sentence. 用constraint composition造句挺难的